Yiming Xu, "Formalizing Modal Logic in HOL"
Yiming Xu
https://tqft.net/web/research/students/YimingXu/thesis.pdf
#定理証明支援系での論理の形式化